2

Model Checking Games for the Quantitativeμ-Calculus

Year:
2010
Language:
english
File:
PDF, 675 KB
english, 2010
3

Information Tracking in Games on Graphs

Year:
2010
Language:
english
File:
PDF, 278 KB
english, 2010
5

Model-Theoretic Properties ofω-Automatic Structures

Year:
2014
Language:
english
File:
PDF, 884 KB
english, 2014